منابع مشابه
Free inductive K-semialgebras
We consider rational power series over an alphabet Σ with coefficients in a ordered commutative semiring K and characterize them as the free ordered K-semialgebras in various classes of ordered K-semialgebras equipped with a star operation satisfying the least prefixed point rule and/or its dual. The results are generalizations of Kozen’s axiomatization of regular languages.
متن کاملFree iterative and iteration K-semialgebras
We consider algebras of rational power series over a finite alphabet Σ with coefficients in a commutative semiring K and characterize them as the free algebras in various classes of algebraic structures.
متن کاملMulti-Linear Iterative K-Σ-Semialgebras
We consider K-semialgebras for a commutative semiring K that are at the same time Σ-algebras and satisfy certain linearity conditions. When each finite system of guarded polynomial fixed point equations has a unique solution over such an algebra, then we call it an iterative multi-linear K-Σ-semialgebra. Examples of such algebras include the algebras of Σ-tree series over an alphabet A with coe...
متن کاملMulti-linear iterative K-Sigma-semialgebras
We consider K-semialgebras for a commutative semiring K that are at the same time Σ-algebras and satisfy certain linearity conditions. When each finite system of guarded polynomial fixed point equations has a unique solution over such an algebra, then we call it an iterative multi-linear K-Σ-semialgebra. Examples of such algebras include the algebras of Σ-tree series over an alphabet A with coe...
متن کاملk-Step Relative Inductive Generalization
We introduce a new form of SAT-based symbolic model checking. One common idea in SAT-based symbolic model checking is to generate new clauses from states that can lead to property violations. Our previous work suggests applying induction to generalize from such states. While effective on some benchmarks, the main problem with inductive generalization is that not all such states can be inductive...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic and Algebraic Programming
سال: 2013
ISSN: 1567-8326
DOI: 10.1016/j.jlap.2013.01.001